Executing a Platform Independent Model of the UML-to-CSP Transformation on a Commercial Platform

Model-Driven Engineering is a software development method that enables one to model applications at a high level of abstraction and introduce platform speci c details automatically by means of model transformations. Similarly, models speci ed in human-readable visual languages can be mapped automatically onto lower-level languages that enable one to formally derive properties such as termination, deadlock freeness, etc. Since di erent commercial tools tend to store models in slightly di erent ways, the transformations that automate mappings between models need to be modeled as well. This enables one to develop transformations that integrate with tools whose metamodels di er slightly from the corresponding language standard. This paper applies MoTMoT to transform a platform independent, human-readable, and visual model of the AGTIVE UML-to-CSP transformation into code that integrates with a tool that slightly deviates from the UML 2.0 standard.